#include <iostream>
#include "variables.h"
#include "rulez.phs.h"
using namespace std;


int main()
{
    typedef Range<Int<50>, Int<100>, Var<getB> >   RangeA;
    typedef Range<Int<10>, Int<40> , Var<getA> >   RangeB;
    typedef Range<Int<2>,Int<8>, Var<getC> > RangeC;
    Variable V(67, 21, 3);

    typedef FDiv< FMul< FVar<RangeA>, FVar<RangeB> >, FVar<RangeC> > F;

    cout << "Formula Result1: " << codegen::generatrix<F>::code(V)<<endl;

    return 0;
}
